3.637 \(\int \frac{x (A+B x)}{(a^2+2 a b x+b^2 x^2)^2} \, dx\)

Optimal. Leaf size=59 \[ -\frac{A b-2 a B}{2 b^3 (a+b x)^2}+\frac{a (A b-a B)}{3 b^3 (a+b x)^3}-\frac{B}{b^3 (a+b x)} \]

[Out]

(a*(A*b - a*B))/(3*b^3*(a + b*x)^3) - (A*b - 2*a*B)/(2*b^3*(a + b*x)^2) - B/(b^3*(a + b*x))

________________________________________________________________________________________

Rubi [A]  time = 0.0422136, antiderivative size = 59, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 2, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.08, Rules used = {27, 77} \[ -\frac{A b-2 a B}{2 b^3 (a+b x)^2}+\frac{a (A b-a B)}{3 b^3 (a+b x)^3}-\frac{B}{b^3 (a+b x)} \]

Antiderivative was successfully verified.

[In]

Int[(x*(A + B*x))/(a^2 + 2*a*b*x + b^2*x^2)^2,x]

[Out]

(a*(A*b - a*B))/(3*b^3*(a + b*x)^3) - (A*b - 2*a*B)/(2*b^3*(a + b*x)^2) - B/(b^3*(a + b*x))

Rule 27

Int[(u_.)*((a_) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[u*Cancel[(b/2 + c*x)^(2*p)/c^p], x] /; Fr
eeQ[{a, b, c}, x] && EqQ[b^2 - 4*a*c, 0] && IntegerQ[p]

Rule 77

Int[((a_.) + (b_.)*(x_))*((c_) + (d_.)*(x_))^(n_.)*((e_.) + (f_.)*(x_))^(p_.), x_Symbol] :> Int[ExpandIntegran
d[(a + b*x)*(c + d*x)^n*(e + f*x)^p, x], x] /; FreeQ[{a, b, c, d, e, f, n}, x] && NeQ[b*c - a*d, 0] && ((ILtQ[
n, 0] && ILtQ[p, 0]) || EqQ[p, 1] || (IGtQ[p, 0] && ( !IntegerQ[n] || LeQ[9*p + 5*(n + 2), 0] || GeQ[n + p + 1
, 0] || (GeQ[n + p + 2, 0] && RationalQ[a, b, c, d, e, f]))))

Rubi steps

\begin{align*} \int \frac{x (A+B x)}{\left (a^2+2 a b x+b^2 x^2\right )^2} \, dx &=\int \frac{x (A+B x)}{(a+b x)^4} \, dx\\ &=\int \left (\frac{a (-A b+a B)}{b^2 (a+b x)^4}+\frac{A b-2 a B}{b^2 (a+b x)^3}+\frac{B}{b^2 (a+b x)^2}\right ) \, dx\\ &=\frac{a (A b-a B)}{3 b^3 (a+b x)^3}-\frac{A b-2 a B}{2 b^3 (a+b x)^2}-\frac{B}{b^3 (a+b x)}\\ \end{align*}

Mathematica [A]  time = 0.0154844, size = 42, normalized size = 0.71 \[ -\frac{2 a^2 B+a b (A+6 B x)+3 b^2 x (A+2 B x)}{6 b^3 (a+b x)^3} \]

Antiderivative was successfully verified.

[In]

Integrate[(x*(A + B*x))/(a^2 + 2*a*b*x + b^2*x^2)^2,x]

[Out]

-(2*a^2*B + 3*b^2*x*(A + 2*B*x) + a*b*(A + 6*B*x))/(6*b^3*(a + b*x)^3)

________________________________________________________________________________________

Maple [A]  time = 0.006, size = 56, normalized size = 1. \begin{align*} -{\frac{B}{{b}^{3} \left ( bx+a \right ) }}-{\frac{Ab-2\,aB}{2\,{b}^{3} \left ( bx+a \right ) ^{2}}}+{\frac{a \left ( Ab-aB \right ) }{3\,{b}^{3} \left ( bx+a \right ) ^{3}}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(x*(B*x+A)/(b^2*x^2+2*a*b*x+a^2)^2,x)

[Out]

-B/b^3/(b*x+a)-1/2*(A*b-2*B*a)/b^3/(b*x+a)^2+1/3*a*(A*b-B*a)/b^3/(b*x+a)^3

________________________________________________________________________________________

Maxima [A]  time = 1.04415, size = 96, normalized size = 1.63 \begin{align*} -\frac{6 \, B b^{2} x^{2} + 2 \, B a^{2} + A a b + 3 \,{\left (2 \, B a b + A b^{2}\right )} x}{6 \,{\left (b^{6} x^{3} + 3 \, a b^{5} x^{2} + 3 \, a^{2} b^{4} x + a^{3} b^{3}\right )}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x*(B*x+A)/(b^2*x^2+2*a*b*x+a^2)^2,x, algorithm="maxima")

[Out]

-1/6*(6*B*b^2*x^2 + 2*B*a^2 + A*a*b + 3*(2*B*a*b + A*b^2)*x)/(b^6*x^3 + 3*a*b^5*x^2 + 3*a^2*b^4*x + a^3*b^3)

________________________________________________________________________________________

Fricas [A]  time = 1.23519, size = 149, normalized size = 2.53 \begin{align*} -\frac{6 \, B b^{2} x^{2} + 2 \, B a^{2} + A a b + 3 \,{\left (2 \, B a b + A b^{2}\right )} x}{6 \,{\left (b^{6} x^{3} + 3 \, a b^{5} x^{2} + 3 \, a^{2} b^{4} x + a^{3} b^{3}\right )}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x*(B*x+A)/(b^2*x^2+2*a*b*x+a^2)^2,x, algorithm="fricas")

[Out]

-1/6*(6*B*b^2*x^2 + 2*B*a^2 + A*a*b + 3*(2*B*a*b + A*b^2)*x)/(b^6*x^3 + 3*a*b^5*x^2 + 3*a^2*b^4*x + a^3*b^3)

________________________________________________________________________________________

Sympy [A]  time = 0.683322, size = 75, normalized size = 1.27 \begin{align*} - \frac{A a b + 2 B a^{2} + 6 B b^{2} x^{2} + x \left (3 A b^{2} + 6 B a b\right )}{6 a^{3} b^{3} + 18 a^{2} b^{4} x + 18 a b^{5} x^{2} + 6 b^{6} x^{3}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x*(B*x+A)/(b**2*x**2+2*a*b*x+a**2)**2,x)

[Out]

-(A*a*b + 2*B*a**2 + 6*B*b**2*x**2 + x*(3*A*b**2 + 6*B*a*b))/(6*a**3*b**3 + 18*a**2*b**4*x + 18*a*b**5*x**2 +
6*b**6*x**3)

________________________________________________________________________________________

Giac [A]  time = 1.13882, size = 61, normalized size = 1.03 \begin{align*} -\frac{6 \, B b^{2} x^{2} + 6 \, B a b x + 3 \, A b^{2} x + 2 \, B a^{2} + A a b}{6 \,{\left (b x + a\right )}^{3} b^{3}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(x*(B*x+A)/(b^2*x^2+2*a*b*x+a^2)^2,x, algorithm="giac")

[Out]

-1/6*(6*B*b^2*x^2 + 6*B*a*b*x + 3*A*b^2*x + 2*B*a^2 + A*a*b)/((b*x + a)^3*b^3)